Observing Transaction-Time Semantics with TTXPath

نویسنده

  • Curtis E. Dyreson
چکیده

Transaction time is the time of database transactions that create, modify, or destroy facts. It is used to record when facts exist in a database. Accounting for transaction time is essential to supporting audit queries that delve into past database states and differential queries that pinpoint differences between two states. In a web context, transaction time is a problematic concept because there are no transactions. Browsers and other consumers of web data can observe snapshots of resources like XML documents but are rarely active participants in their creation or destruction. This paper presents the TTXPath data model and query language. TTXPath extends XPath with support for transaction time. XPath is a specification language for locations in an XML document. It serves as the basis for XML query languages like XSLT and XQuery. XPath has no temporal semantics. To construct a TTXPath data model, snapshots of an XML document are obtained over time by an observer. The snapshots are then merged and transaction times are associated with each edge and node. The TTXPath query language extends XPath with a transaction-time axis to enable a query to access past or future states, and with constructs to extract and compare times. TTXPath maximally reuses XPath hence the changes needed to support transaction time are minimal and TTXPath is fully backwardscompatible with XPath.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Transactional system calls on Linux

Have you ever had to manually back out an unsuccessful software install? Has a machine ever crashed on you while adding a user, leaving the group, password and shadow files inconsistent? Have you struggled to eliminated time-of-check-to-time-of-use (TOCTTOU) race conditions from an application? All of these problems have a single underlying cause: programmers cannot group multiple system calls ...

متن کامل

An Engineering Approach to Atomic Transaction Verification: Use of a Simple Object Model to Achieve Semantics-based reasoning at Compile-time

In this paper, we take an engineering approach to atomic transaction verification. We discuss the design and implementation of a verification tool that can reason about the semantics of atomic database operations. To bridge the gap between language design and automated reasoning, we make use of a simple model of objects that imitates the type-tagged memory structure of an implementation. This s...

متن کامل

Come and crash our database! - Instant recovery in action

We present a demonstration of instant recovery, a family of techniques to enable incremental and on-demand recovery from different classes of failures in transactional database systems. In contrast to traditional ARIES-based algorithms, instant recovery allows transactions to run concurrently to recovery actions—not only permitting earlier access to data that requires recovery but also using th...

متن کامل

Semantics of Time-Varying Information

This paper provides a systematic and comprehensive study of the underlying semantics of temporal databases, summarizing selected results of an intensive collaboration between the two authors over the five-years period from 1991 to 1995. We first examine how facts may be associated with time, most prominently with one or more dimensions of valid time and transaction time. One common case is that...

متن کامل

A Framework of Customizing Transactions in Persistent Object Management for Advanced Applications

In the new applications that support user cooperation using the power of distributed computers, users' processes in distributed hosts often share large data structures containing nested structure and pointers that often indicate persistent objects. Transactions usually manage concurrent accesses to shared persistent objects in such applications. Although various types of transaction schemes hav...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001